#ifndef KERNEL_H
#define KERNEL_H





void kernel_initialize();
void kernel_run();

	

#endif /* KERNEL_H */